@InProceedings{PadilhaAmbrMatt:2019:MéIdRe,
               author = "Padilha, Juliana Joria and Ambr{\'o}sio, Ana Maria and Mattiello 
                         Francisco, Maria de F{\'a}tima",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)} and {Instituto Nacional de 
                         Pesquisas Espaciais (INPE)}",
                title = "M{\'e}todo de identifica{\c{c}}{\~a}o de requisitos de um 
                         software de OBDH de nanosat{\'e}lites a partir de servi{\c{c}}os 
                         PUS",
            booktitle = "Anais...",
                 year = "2019",
         organization = "Workshop em Engenharia e Tecnologia Espaciais, 10. (WETE)",
            publisher = "Instituto Nacional de Pesquisas Espaciais (INPE)",
              address = "S{\~a}o Jos{\'e} dos Campos",
             keywords = "Tabela de transi{\c{c}}{\~a}o de estados, M{\'a}quinas de 
                         estados finitos, Testes, Nanosat{\'e}lites, PUS.",
             abstract = "O objetivo da tese {\'e} propor uma estrat{\'e}gia para gerar 
                         casos de testes para software de bordo de nanosat{\'e}lites com 
                         uma abordagem baseada em redu{\c{c}}{\~a}o de esfor{\c{c}}o de 
                         teste. Neste artigo, propomos um m{\'e}todo auxiliar chamado 
                         Gerador de Tabela de Transi{\c{c}}{\~a}o de Estados, que {\'e} 
                         parte da estrat{\'e}gia da tese. Este m{\'e}todo gera uma tabela 
                         de transi{\c{c}}{\~o}es de estados para representar os 
                         requisitos do software a ser testado. A tabela {\'e} 
                         constru{\'{\i}}da a partir de tabelas de refer{\^e}ncia que 
                         representam os requisitos de um servi{\c{c}}o da norma PUS e 
                         baseia-se na metodologia Conformance and Fault Injection e em 
                         alguns conceitos de Linha de Produtos de Software para mapeamento 
                         de caracter{\'{\i}}sticas. O resultado desse m{\'e}todo, 
                         ser{\'a} utilizado para a gera{\c{c}}{\~a}o de modelos (em 
                         particular, m{\'a}quinas de estados finitos) os quais ser{\~a}o 
                         usados para gera{\c{c}}{\~a}o de casos de testes.",
  conference-location = "S{\~a}o Jos{\'e} dos Campos",
      conference-year = "07-09 ago. 2019",
                 issn = "2177-3114",
             language = "pt",
         organisation = "Instituto Nacional de Pesquisas Espaciais (INPE)",
                  ibi = "8JMKD3MGPDW34R/3TTAR6E",
                  url = "http://urlib.net/ibi/8JMKD3MGPDW34R/3TTAR6E",
           targetfile = "39 -[Artigo] Juliana Joria Padilha.pdf",
                 type = "CSE",
        urlaccessdate = "27 abr. 2024"
}